Dependence Logic with a Majority Quantifier
نویسندگان
چکیده
منابع مشابه
Dependence logic with a majority quantifier
We study the extension of dependence logic D by a majority quantifier M over finite structures. Dependence logic [19] extends first-order logic by dependence atomic formulas =(t1, . . . , tn) the intuitive meaning of which is that the value of the term tn is completely determined by the values of t1, . . . , tn−1. While in first-order logic the order of quantifiers solely determines the depende...
متن کاملCharacterizing quantifier extensions of dependence logic
We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.
متن کاملAn Analysis of Quantifier Scope Restrictions in Dependence Logic
In our contribution we will present a strictly semantic approach to scope phenomena which is based on (Dynamic) Dependence Logic (DL) [Vää07, Gal13] and ideas from Dynamic Semantics [Fer93]. Formulas as well as quantifiers are interpreted as relations between sets of assignments. Scopal ambiguities are analyzed as a form of non-determinism: processing a formula in an input context X can lead to...
متن کاملMajority Logic
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness proofs. Along the way, we must answer the question what is a majority of an infinite set? Majority spaces are introduced as a solution to this question.
متن کاملA Quantifier-Free Completion of Logic Programs
We present a proof theoretic approach to the problem of negation in logic programming. We introduce a quantifier-free sequent calculus which is sound for Negation as Failure. Some extensions of the calculus have 3-valued or intuitionistic interpretations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2015
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-015-9218-3